Brian Scattergood first ported Gofer, copyright of Mark P Jones, to the Archimedes in 1991. I wrote a front end for it, that later evolved into the stick program, for use in a classroom of Archimedes. Gofer (GOod For Equational Reasoning) is a pure lazy functional programming language, with type classes. This package, intended primarily for educational purposes, includes the interpreter running in a task window and Jones' original documentation. Gofer was originally written by Mark P Jones so that he could experiment with type classes on his PC at home.